不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
打开手机，让 AI Agent 自动帮你完成订外卖、订酒店、网上购物的琐碎任务，这正成为智能手机交互的新范式。
你有没有想过，网站的时代真的结束了？我们正在目睹一场静悄悄的革命：AI agent 正在重新定义内容发现的游戏规则，而大多数企业甚至还没意识到自己的网站内容已经对AI"隐形"了。这不是什么遥远的未来预测，而是正在发生的现实。
DeepSeek下一步，被曝剑指智能体。 知情人士透露，DeepSeek正在开发具有更强大AI Agent能力的新模型，预计在今年年底就会推出。
用 AI 学语言，正成为越来越多人的选择。我们习惯于在手机里下一个 Duolingo 或 Babbel，利用碎片时间打卡闯关，仿佛离「掌握一门外语」的目标又近了一步。
今年是人工智能正式被提出七十周年，新智元十周年峰会也将于9月7日在北京中关村软件园举行，主题是「新天终启，万象智生」。此次峰会将发布《2025新智元ASI前沿趋势报告》，大会集结百度CTO、NVIDIA副总裁等十位领航者，以「十人十题」解构AI五阶段路线图，纵贯大模型、Physical AI、具身智能到医疗AI、视频AI、脑科学、AI Agent与人才培养，定义下个十年智能图景。
AI 硬件，已经成为大模型之后，又一个令人兴奋的领域。 正如 AI Agent 从通用开始走向垂直，AI 硬件，也已经逐渐分化到「陪伴」、「工作」等各个垂直领域。
随着垂直领域 agent 的兴起，市面上的应用越来越多，用户不可避免地需要一个编排工具（orchestration tool）来将这些分散的应用串联起来，或者需要某种横向工具（horizontal tool）来统一构建 agent。而 n8n 正是这一生态位中的佼佼者，它正从一个工作流自动化工具，升级为 AI 应用的编排层。
Intent近日宣布获得数千万美元战略投资， a16z 与 GV 联合领投，跟投方还包括几位前微信产品负责人创立的基金。在 2025 年 AI Agent 市场规模已经冲到 73.8 亿美元的节点上，这笔钱显然押注的是“聊天即执行”这个赛道的爆发潜力。
“投资可以很简单很有趣。” 这是一个9岁开始炒股、10年前押中英伟达的投资老手——赖蕴琦Vakee，想传递给所有人的理念。
